Alonzo Church - significado y definición. Qué es Alonzo Church
Diclib.com
Diccionario ChatGPT
Ingrese una palabra o frase en cualquier idioma 👆
Idioma:

Traducción y análisis de palabras por inteligencia artificial ChatGPT

En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:

  • cómo se usa la palabra
  • frecuencia de uso
  • se utiliza con más frecuencia en el habla oral o escrita
  • opciones de traducción
  • ejemplos de uso (varias frases con traducción)
  • etimología

Qué (quién) es Alonzo Church - definición

AMERICAN MATHEMATICIAN (1903-1995)
Church, A; Church, A.; A. Church; Alonzo Church (Mathematician); Alonso Church

Alonzo Church         
<person> A twentieth century mathematician and logician, and one of the founders of computer science. Church invented the lambda-calculus and posited a version of the {Church-Turing thesis}. (1995-03-25)
Alonzo Sánchez         
SPANISH MISSIONARY
Sánchez, Alonzo; Alonzo Sanchez
Alonso Sánchez (1547 – 27 May 1593) was a Spanish Jesuit missionary, one of the first Jesuits in the Philippines.
Alonzo Morphy         
AMERICAN JUDGE (1798-1856)
Alonzo Michael Morphy; Morphy, Alonzo
Alonzo Michael Morphy (November 23, 1798 – November 22, 1856)The Chess Games of Alonzo Morphy. was a lawyer serving as Attorney General of Louisiana from 1828 to 1830, and a justice of the Louisiana Supreme Court from August 31, 1839 to March 19, 1846.

Wikipedia

Alonzo Church

Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language (see e.g. Church 1970). Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.